es{-}lnk(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$lnk(es{-}kind(${\it es}$; $e$))